@@
statement S;
@@

  S
+ foo();
